Nuprl Definition : rel_inverse
4,23
postcript
pdf
R
^-1(
x
,
y
) ==
y
R
x
latex
Definitions
x
f
y
FDL editor aliases
rel_inverse
origin